In matematica, una quiver (letteralmente "faretra") è un grafo orientato in cui sono ammessi cappi su ogni vertice e lati multipli fra due vertici, ossia un multigrafo diretto. Sono usati comunemente nella teoria della rappresentazione: una rappresentazione di una quiver associa ad ogni vertice della quiver uno spazio vettoriale e ad ogni freccia un endomorfismo lineare .
In teoria delle categorie, una quiver può essere pensata come una categoria priva di morfismi identici e della legge di composizione; in altri termini, esiste un funtore dimenticante da in . Il suo aggiunto sinistro è un funtore che manda le quivers nella categoria libera.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search